Operation groups of order $p_1^{m_1 \mu _1 } p_2^{m_2 \mu _2 }$
نویسندگان
چکیده
منابع مشابه
$\Sigma^{\mu}_2$ is decidable for $\Pi^{\mu}_2$
Given a Πμ 2 formula of the modal μ calculus, it is decidable whether it is equivalent to a Σμ 2 formula.
متن کاملRepresenting Nonterminating Rewriting with $\mathbf{F}_2^\mu$
We specify a second-order type system Fμ2 that is tailored for representing nonterminations. The nonterminating trace of a term t in a rewrite system R corresponds to a productive inhabitant e such that ΓR ` e : t in Fμ2 , where ΓR is the environment representing the rewrite system. We prove that the productivity checking in Fμ2 is decidable via a mapping to the λ-Y calculus. We develop a type ...
متن کاملPartial - Order Reduction in theWeak Modal Mu -
We present a partial-order reduction technique for local model checking of hierarchical networks of labeled transition systems in the weak modal mu-calculus. We have implemented our technique in the Concur-rency Factory speciication and veriication environment; experimental results show that partial-order reduction can be highly eeective in combating state explosion in modal mu-calculus model c...
متن کاملSuperdeduction in Lambda-Bar-Mu-Mu-Tilde
Superdeduction is a method specially designed to ease the use of first-order theories in predicate logic. The theory is used to enrich the deduction system with new deduction rules in a systematic, correct and complete way. A proof-term language and a cut-elimination reduction already exist for superdeduction, both based on Christian Urban’s work on classical sequent calculus. However the compu...
متن کاملUnified Operation Control System for Mu Machine Translation
Since 1982, under a state-subsidized project for developing a machine translation system called the Mu* project, efforts have been made to prepare the necessary basic and detail designs, software and data. The project is intended to develop a unified machine translation system including a language processing system and a dictionary system for practical use. The unified system act as an interfac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1906
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1906-01357-x